[INFO] fetching crate taco-smt-model-checker 0.1.0...
[INFO] fixing taco-smt-model-checker-0.1.0 against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=start=2015 for pr-157817-2
[INFO] extracting crate taco-smt-model-checker 0.1.0 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate taco-smt-model-checker 0.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate taco-smt-model-checker 0.1.0
[INFO] tweaked toml for crates.io crate taco-smt-model-checker 0.1.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate taco-smt-model-checker 0.1.0 on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate taco-smt-model-checker 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded easy-smt v0.3.2
[INFO] [stderr]   Downloaded taco-smt-encoder v0.1.0
[INFO] [stderr]   Downloaded taco-display-utils v0.1.0
[INFO] [stderr]   Downloaded taco-parser v0.1.0
[INFO] [stderr]   Downloaded hugealloc v0.1.1
[INFO] [stderr]   Downloaded taco-threshold-automaton v0.1.0
[INFO] [stderr]   Downloaded oxidd-rules-tdd v0.6.0
[INFO] [stderr]   Downloaded sptr v0.3.2
[INFO] [stderr]   Downloaded oxidd-reorder v0.6.1
[INFO] [stderr]   Downloaded oxidd-rules-mtbdd v0.6.0
[INFO] [stderr]   Downloaded nanorand v0.8.0
[INFO] [stderr]   Downloaded is_sorted v0.1.1
[INFO] [stderr]   Downloaded linear-hashtbl v0.1.4
[INFO] [stderr]   Downloaded oxidd-cache v0.11.1
[INFO] [stderr]   Downloaded oxidd v0.11.0
[INFO] [stderr]   Downloaded oxidd-rules-zbdd v0.11.0
[INFO] [stderr]   Downloaded oxidd-dump v0.6.0
[INFO] [stderr]   Downloaded oxidd-derive v0.11.0
[INFO] [stderr]   Downloaded taco-bdd v0.1.0
[INFO] [stderr]   Downloaded oxidd-rules-bdd v0.11.0
[INFO] [stderr]   Downloaded oxidd-manager-index v0.11.0
[INFO] [stderr]   Downloaded taco-model-checker v0.1.0
[INFO] [stderr]   Downloaded oxidd-core v0.11.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] c1aaa6cf6b88af8ef184bfe5c74cba00a5d5fd7a08fa502d498086d130f666af
[INFO] running `Command { std: "docker" "start" "c1aaa6cf6b88af8ef184bfe5c74cba00a5d5fd7a08fa502d498086d130f666af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "c1aaa6cf6b88af8ef184bfe5c74cba00a5d5fd7a08fa502d498086d130f666af" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c1aaa6cf6b88af8ef184bfe5c74cba00a5d5fd7a08fa502d498086d130f666af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "c1aaa6cf6b88af8ef184bfe5c74cba00a5d5fd7a08fa502d498086d130f666af" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=start=2015", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]     Checking nanorand v0.8.0
[INFO] [stderr]    Compiling litrs v1.0.0
[INFO] [stderr]     Checking is_sorted v0.1.1
[INFO] [stderr]     Checking fixedbitset v0.5.7
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking sptr v0.3.2
[INFO] [stderr]     Checking allocator-api2 v0.2.21
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking flume v0.11.1
[INFO] [stderr]     Checking linear-hashtbl v0.1.4
[INFO] [stderr]     Checking unicode-segmentation v1.12.0
[INFO] [stderr]     Checking taco-display-utils v0.1.0
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]    Compiling pest v2.8.5
[INFO] [stderr]     Checking regex-syntax v0.8.8
[INFO] [stderr]     Checking oxidd-core v0.11.0
[INFO] [stderr]     Checking anstream v0.6.21
[INFO] [stderr]     Checking jiff v0.2.18
[INFO] [stderr]     Checking easy-smt v0.3.2
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking hugealloc v0.1.1
[INFO] [stderr]    Compiling document-features v0.2.12
[INFO] [stderr]     Checking oxidd-reorder v0.6.1
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking oxidd-cache v0.11.1
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking regex-automata v0.4.13
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]    Compiling pest_meta v2.8.5
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking taco-threshold-automaton v0.1.0
[INFO] [stderr]     Checking regex v1.12.2
[INFO] [stderr]     Checking env_filter v0.1.4
[INFO] [stderr]     Checking taco-smt-encoder v0.1.0
[INFO] [stderr]     Checking env_logger v0.11.8
[INFO] [stderr]    Compiling pest_generator v2.8.5
[INFO] [stderr]    Compiling oxidd-derive v0.11.0
[INFO] [stderr]    Compiling derive-where v1.6.0
[INFO] [stderr]    Compiling pest_derive v2.8.5
[INFO] [stderr]     Checking oxidd-dump v0.6.0
[INFO] [stderr]     Checking oxidd-manager-index v0.11.0
[INFO] [stderr]     Checking oxidd-rules-zbdd v0.11.0
[INFO] [stderr]     Checking oxidd-rules-mtbdd v0.6.0
[INFO] [stderr]     Checking oxidd-rules-bdd v0.11.0
[INFO] [stderr]     Checking oxidd v0.11.0
[INFO] [stderr]     Checking taco-bdd v0.1.0
[INFO] [stderr]     Checking taco-model-checker v0.1.0
[INFO] [stderr]     Checking taco-parser v0.1.0
[INFO] [stderr]     Checking taco-smt-model-checker v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:871:39
[INFO] [stdout]     |
[INFO] [stdout] 871 |             .add_parameter_assignment(HashMap::from([
[INFO] [stdout]     |                                       ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:877:17
[INFO] [stdout]     |
[INFO] [stdout] 877 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:882:17
[INFO] [stdout]     |
[INFO] [stdout] 882 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:900:17
[INFO] [stdout]     |
[INFO] [stdout] 900 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:905:17
[INFO] [stdout]     |
[INFO] [stdout] 905 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:918:17
[INFO] [stdout]     |
[INFO] [stdout] 918 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:923:17
[INFO] [stdout]     |
[INFO] [stdout] 923 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:952:17
[INFO] [stdout]     |
[INFO] [stdout] 952 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:957:17
[INFO] [stdout]     |
[INFO] [stdout] 957 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `BYMC_BENCHMARK_FOLDER` is never used
[INFO] [stdout]   --> tests/test_smt_model_checker.rs:24:11
[INFO] [stdout]    |
[INFO] [stdout] 24 |     const BYMC_BENCHMARK_FOLDER: &str = "../../benchmarks/TACO";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no associated function or constant named `new` found for struct `SMTModelCheckerOptions` in the current scope
[INFO] [stdout]    --> src/lib.rs:856:37
[INFO] [stdout]     |
[INFO] [stdout]  48 | pub struct SMTModelCheckerOptions {
[INFO] [stdout]     | --------------------------------- associated function or constant `new` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 856 |             SMTModelCheckerOptions::new(false),
[INFO] [stdout]     |                                     ^^^ associated function or constant not found in `SMTModelCheckerOptions`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]     = note: the following traits define an item `new`, perhaps you need to implement one of them:
[INFO] [stdout]             candidate #1: `ModelChecker`
[INFO] [stdout]             candidate #2: `itertools::adaptors::coalesce::CountItem`
[INFO] [stdout]             candidate #3: `oxidd_core::InnerNode`
[INFO] [stdout]             candidate #4: `parking_lot_core::thread_parker::ThreadParkerT`
[INFO] [stdout] help: there is a method `ne` with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 856 -             SMTModelCheckerOptions::new(false),
[INFO] [stdout] 856 +             SMTModelCheckerOptions::ne(false),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0433, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `taco-smt-model-checker` (lib test) due to 10 previous errors
[INFO] running `Command { std: "docker" "inspect" "c1aaa6cf6b88af8ef184bfe5c74cba00a5d5fd7a08fa502d498086d130f666af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c1aaa6cf6b88af8ef184bfe5c74cba00a5d5fd7a08fa502d498086d130f666af", kill_on_drop: false }`
[INFO] [stdout] c1aaa6cf6b88af8ef184bfe5c74cba00a5d5fd7a08fa502d498086d130f666af
